Revue Historique, CCVI (juillet-septembre 1951)

Juillet 2002

This paper focuses on the concept of a psychological contract. It argues that research analyzing the employment relationship through this concept tends to overlook the constraints which actually mark the actors' behavoirs. A lot of papers dealing with the Psychological contract approach conveys the view of a free actor. To support this thesis, this paper will first review some of the main featu...

Bulteau N ̊ 3209 Juillet 1997

An eecient family of methods to evaluate network reliability is the class of factoring algorithms. Their eeciency is due to the use of reliability-preserving reductions (for instance, series-parallel ones). In this work, we follow a similar approach for the problem of counting the (s; t)-mincuts of a graph with size i, for all i. In order to take into account these possible reductions, the pape...

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...

Une tumeur historique de l’épaule

Chondrosarcoma is a malignant tumor of bone of mesenchymal origin which usually occurs in people after age 40 at the level of the pelvis and the shoulder. We report the case of a 65-year old female patient, with no particular past medical history, with impaired general condition, hospitalized for exploration of a large tumor of the right shoulder, evolving over 3 years. Clinical examination sho...

Informatique et linguistique: Introduction, historique